Manfred Broy
Manfred Broy (born 10 August 1949 at Landsberg am Lech) is a German computer scientist.
Broy is a professor in the Institut für Informatik at the Technische Universität München, Garching, Germany.
Selected books
- Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science) by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, and Alexander Pretschner (2005)
- Software Pioneers by Manfred Broy and Ernst Denert (2002)
- Software Systems Reliability and Security — Volume 9, NATO Security through Science Series: Information and Communication Security (Nato Security Through … D: Information and Communication Security) by Manfred Broy, Johannes Grunbauer, and Tony Hoare (2007)
- Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10–12, 2004, Revised … Papers (Lecture Notes in Computer Science) by Manfred Broy, Ingolf Krüger, and Michael Meisinger (2006)
- Calculational System Design (NATO Science Series: Computers & Systems Sciences) (NATO ASI Series Series III, Computer and Systems Sciences) by Germany) NATO Advanced Study Institute on Calculational System Design (1998: Marktoberdorf), Manfred Broy, and R. Steinbruggen (2000)
- Constructive Methods in Computing Science: International Summer School (NATO ASI series. Series F, Computer and systems sciences) by Manfred Broy (1989)
- Deductive Program Design (NATO ASI Series / Computer and Systems Sciences) by Manfred Broy (1996)
- Engineering Theories of Software Construction (NATO Science Series. Series III, Computer and Systems Sciences, 180) by Germany) NATO Advanced Study Institute on Engineering Theories of Software Construction (2000: Marktoberdorf), Tony Hoare, Manfred Broy, and Ralf Steinbruggen (2001)
- Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, … II: Mathematics, Physics and Chemistry) by Manfred Broy, Johannes Gruenbauer, David Harel, and Tony Hoare (2005) — Kindle Book
- Formal Methods in Programming and their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993: Proceedings (Lecture Notes in Computer Science) by Manfred Broy, Dines Bjørner, and Igor V. Pottosin (1993)
See also
External links
| Persondata |
| Name |
Broy, Manfred |
| Alternative names |
|
| Short description |
|
| Date of birth |
10 August 1949 |
| Place of birth |
|
| Date of death |
|
| Place of death |
|